$\forall$$n$, $b$:$\mathbb{N}$.  \{0..$n$$^{-}$\}$\rightarrow$\{0..$b$$^{-}$\} $\sim$ \{0..exp($b$;$n$)$^{-}$\}